A logic - based theory of deductive arguments ? Philippe

We explore a framework for argumentation (based on classical logic) in which an argument is a pair where the rst item in the pair is a minimal consistent set of formulae that proves the second item (which is a formula). We provide some basic deenitions for arguments, and various kinds of counter-arguments (defeaters). This leads us to the deenition of canonical undercuts which we argue are the only defeaters that we need to take into account. We then motivate and formalise the notion of argument trees and argument structures which provide a way of exhaustively collating arguments and counter-arguments. We use argument structures as the basis of our general proposal for argument aggregation. There are a number of frameworks for modelling argumentation in logic. They incorporate formal representation of individual arguments and techniques for comparing connicting arguments. In these frameworks, if there are a number of arguments for and against a particular conclusion, an aggregation function determines whether the conclusion is taken to hold. We propose a generalisation of these frameworks. In particular, our new framework makes it possible to deene aggregation functions that are sensitive to the number of arguments for or against. We compare our framework with a number of other types of argument systems, and nally discuss an application in reasoning with structured news reports. ? This is an extended version of a paper entitled \Towards a logic-based theory of argumentation" published in the